higher categories - German English Dictionary